History and Accomplishments of the Multi-Agent Systems Lab at the University of Massachusetts Amherst Victor Lesser and Daniel Corkill Updated April 2011

Source URL: mas.cs.umass.edu

The Predecessor Attack: An Analysis of a Threat to Anonymous Communications Systems MATTHEW K. WRIGHT, MICAH ADLER, and BRIAN NEIL LEVINE University of Massachusetts Amherst and CLAY SHIELDS

Source URL: www.ists.dartmouth.edu

Learning Hidden Graphs and Circuits with Query Access Machine Learning Talk At University of Massachusetts Amherst Lev Reyzin

Source URL: www.levreyzin.com

• FO
• Finite model theory
• Dana Angluin
• Academia
• Mathematics

Designing Privacy-preserving Smart Meters with Low-cost Microcontrollers Andres Molina-Markham, George Danezis† , Kevin Fu, Prashant Shenoy, and David Irwin University of Massachusetts Amherst †

Source URL: www0.cs.ucl.ac.uk

• Cryptography
• Public-key cryptography
• Electric power
• Microcontrollers
• Smart grid
• Smart meter
• Electricity meter
• Zero-knowledge proof
• Commitment scheme
• Digital signature
• Elliptic curve cryptography
• TI MSP430

Toward Conditional Models of Identity Uncertainty with Application to Proper Noun Coreference Andrew McCallum† Department of Computer Science University of Massachusetts Amherst Amherst, MAUSA

Source URL: people.cs.umass.edu

Trustworthy Medical Device Software Kevin Fu Assistant Professor University of Massachusetts Amherst Department of Computer Science

Source URL: spqr.eecs.umich.edu

• Technology
• Computing
• Software engineering
• Formal methods
• Medical technology
• Software development process
• Medical equipment
• Systems engineering
• Medical device
• Life-critical system
• IEC 62304
• Computer security

Fault-Tolerant Scheduling in Homogeneous Real-Time Systems C. M. Krishna University of Massachusetts at Amherst Abstract Real-time systems are one of the most important applications of computers, both in commercial terms

Source URL: www-unix.ecs.umass.edu

Temporal Profiles of Queries Rosie Jones Yahoo! Research and Fernando Diaz University of Massachusetts, Amherst

Source URL: ciir.cs.umass.edu

A FAITHFULNESS RANKING PROJECTED FROM A PERCEPTIBILITY SCALE: THE CASE OF [ⳭVOICE] IN JAPANESE SHIGETO KAWAHARA University of Massachusetts, Amherst Within the framework of optimality theory (Prince & Smolensky 2004),

Source URL: user.keio.ac.jp

Appears in Proceedings of the 2011 IEEE International Conference on Computer Design (ICCD), Amherst, Massachusetts, OctoberAn Optimized Scaled Neural Branch Predictor Daniel A. Jim´enez Department of Computer Sc

Source URL: taco.cse.tamu.edu